#!/bin/bash

set -euo pipefail
echo "#include \"$2\"" > $1
